сводимость
1сводимость — приводимость; выводимость. Ant. несводимость Словарь русских синонимов. сводимость сущ., кол во синонимов: 1 • выводимость (1) Словарь синонимов ASIS …
2СВОДИМОСТЬ — отношение между понятиями (предложениями, задачами, теориями и др.), играющее важнейшую роль в логике и математике; означает возможность редукции (сведéния) одного понятия к другому (аналогично для предложений, задач и др.). Интуитивное понимание …
3сводимость — свод имость, и …
4сводимость — Syn: приводимость Ant: несводимость …
5АЛГОРИТМИЧЕСКАЯ СВОДИМОСТЬ — одно из основных понятий алгоритмов теории и ее приложений Возникло в связи с тем, что неразрешимость (и разрешимость) многих алгоритмических проблем устанавливается большей частью не непосредственно, а путем сведения к исследуемой проблеме такой …
6ТАБЛИЧНАЯ СВОДИМОСТЬ — tt сводимост ь, специальный вид алгоритмической сводимости. Пусть Аи В два подмножества натурального ряда. Говорят, что Атаблично сводится к В (обозначение: если существует алгоритм f, к рый по всякому натуральному числу астроит булеву функцию… …
7РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… …
8ШЛИК — (Schlick) Мориц (1882 1936, застрелен бывшим своим студентом психопатом на лестнице в здании университета) австрийский философ, физик и логик. Диссертация по физике под руководством М.Планка (1904). Профессор в Ростоке и Киле (1911 1922), Вене (с …
9КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… …
10ШЛИК Мориц (1882-1936) — австрийский философ, физик и логик. Диссертация по физике под руководством М.Планка (1904). Профессор в Ростоке и Киле (1911 1922), Вене (с 1922), в Калифорнийском университете (1931 1932), ведущий представитель раннего этапа логического… …
